package parser;

public interface Lexem {
}

class NawiasOkrOtwierajacy implements Lexem {
}
class NawiasOkrZamykajacy implements Lexem {
}

class NawiasKwaOtwierajacy implements Lexem {
}
class NawiasKwaZamykajacy implements Lexem {
}

class Negacja implements Lexem {
}
class Alternatywa implements Lexem {
}
class Koniunkcja implements Lexem {
}

class KwantyfikatorOgolny implements Lexem {
}
class KwantyfikatorSzczegolny implements Lexem {
}

class Rownosc implements Lexem {
}
class Inkluzja implements Lexem {
}

class True implements Lexem {
}
class False implements Lexem {
}

class CName implements Lexem {
	public String name;

	CName(String s) {
		name = s;
	}
}

class RName implements Lexem {
	public String name;
	
	RName(String s) {
		name = s;
	}
}